Modality and Databases
نویسنده
چکیده
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical difficulties successfully. Second, this modal logic is used to introduce a rather different way of looking at relational databases. The idea is to treat records as possible worlds, record entries as objects, and attributes as concepts, in the modal sense. This makes possible an intuitively satisfactory relational database theory. It can be extended, by the introduction of higher types, to deal with multiple-valued attributes and more complex things, though this is further than we take it here.
منابع مشابه
The Effect of Extracorporeal Shock Wave Therapy on Clinical and Functional Outcomes of Individuals with Medial Tibial Stress Syndrome: A Systematic Review
Background and Aim: Medial Tibial Stress Syndrome (MTSS) is one of the most common sports-related overuse injuries among runners and military personnel. Extracorporeal shock wave therapy (ESWT) is an emerging treatment modality that used for individuals with MTSS. However, there was no found a systematic review that specifically assess the clinical and functional efficacy of ESWT in individuals...
متن کاملArtifact reduction techniques in Cone Beam Computed Tomography (CBCT) imaging modality
Introduction: Cone beam computed tomography (CBCT) was introduced and became more common based on its low cost, fast image procedure rate and low radiation dose compared to CT. This imaging modality improved diagnostic and treatment-planning procedures by providing three-dimensional information with greatly reduced level of radiation dose compared to 2D dental imaging modalitie...
متن کاملImpact of Interaction and Output Modality on the Vocabulary Learning and Retention of Iranian EFL Learners
This study investigated the impact of interaction and output modality on vocabulary learning and retention of EFL learners. To investigate the impact of Interaction, solitary (n =69) and collaborative (n =62) groups served as experimental and No Interaction No Output (n =26) as control group. To address the effect of modality, spoken (n =39) and written (n =31) modalities served as experimental...
متن کاملImpact of Interaction and Output Modality on the Vocabulary Learning and Retention of Iranian EFL Learners
This study investigated the impact of interaction and output modality on vocabulary learning and retention of EFL learners. To investigate the impact of Interaction, solitary (n =69) and collaborative (n =62) groups served as experimental and No Interaction No Output (n =26) as control group. To address the effect of modality, spoken (n =39) and written (n =31) modalities served as experimental...
متن کاملDeriving the Optimal Modality Combination for Searching in Multidimensional Databases
The European MIAMM-project (Multidimensional Information Access using Multiple Modalities) develops new concepts and techniques for multimodal dialogs that allow for fast and natural mobile access to multimedia databases. In an experiment we investigated different modality combinations (haptic-tactile, non-speech audio and a redundant combination) for conveying information on the size of a data...
متن کاملA Cross-linguistic and Cross-cultural Study of Epistemic Modality Markers in Linguistics Research Articles
Epistemic modality devices are believed to be one of the prominent characteristics of research articles as the commonly used genre among the academic community members. Considering the importance of such devices in producing and comprehending scientific discourse, this study aimed to cross–culturally and cross-linguistically investigate epistemic modality markers as an important subcategory...
متن کامل